<?php

	//	Diese Datei, muss in jede zu schützende Seite eingebunden 
	//	Es wird überprüft, ob die Sessionvariable 'angemeldet' existiert und ihr Wert true ist. 
	//	Falls das nicht der Fall ist, wird der Benutzer wieder zum Anmeldeformular weitergeleitet

     session_start();

     $hostname = $_SERVER['HTTP_HOST'];
     $path = dirname($_SERVER['PHP_SELF']);


     if (!isset($_SESSION['angemeldet']) || !$_SESSION['angemeldet']) {
      	header('Location: http://'.$hostname.($path == '/' ? '' : $path).'/index.php');
      	exit;
     }
?>